<?php echo $welcome; ?>